#include<stdio.h>
int main()
{
    int i,a,sum;
    sum=0;
    scanf("%d",&a);
    for(i=0;i<a+1;i++)
        sum=sum+i;
    printf("%d\n",sum);
    return 0;
}